Generating Python Code from Object-Z Specifications

Object-Z is an object-oriented specification language which extends the Z with classes, objects, inheritance and polymorphism that can be used to represent of a complex system as collections objects. There are number existing works mapped C++ Java programming languages. Since Python share many similarities, both paradigm, support set theory predicate calculus moreover, functional naturally closer formal specifications, we propose mapping from specifications code covers some constructs express its in validate these specifications. The validations covered preconditions, post-conditions, invariants built using lambda function Python's decorator. This work has found excellent for developing libraries map Python.